41. Beyond the standard model: from theory to experiment: Valencia, Spain, 13-17 October 1997
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Standard model )Nuclear physics(,Congresses ، Nuclear astrophysics
رده :
QC
794
.
6
.
S75
.
I586
1997
42. Citizen Participation in the Model Cities Program - Toward a Theory of Collective Bargaining for the Poor
پدیدآورنده: Kline, Anthony J.; Le Gates, Richard; et al.,Kline, Anthony J.; Le Gates, Richard; et al.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
43. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
44. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
45. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده: J. T. Baldwin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
46. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: J.T. Baldwin )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Model theory
رده :
QA
9
.
7
.
U8
1985
47. Cognitive and Computational Model- A Socio-Trust Theory
پدیدآورنده: / Castelfranchi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC& METHODS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
48. Conformational theory of large molecules : the rotational isomeric state model in macromolecular systems
پدیدآورنده: Wayne L. Mattice and Ulrich W. Suter
کتابخانه: کتابخانه مرکز تحقیقات بیوشیمی- بیوفیزیک دانشگاه تهران (تهران)
موضوع: Polymers
رده :
QD
381
.
9
.
M3
M39
1994
49. Constrained dynamics : with applications to Yang-Mills theory, general relativity, classical spin, dual string model
پدیدآورنده: Sundermeyer, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Quantum field theory,، Constraints )Physics(,، Yang-Mills theory
رده :
QC
1
.
L4
v
.
169
50. Constrained dynamics : with applications to Yang-Mills theory, general relativity, classical spin, dual string model
پدیدآورنده: Sundermeyer, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Quantum field theory,، Constraints )Physics(,، Yang-Mills theory
رده :
QC
174
.
45
.
S94
1982
51. Constrained dynamics : with applications to Yang-Mills theory, general relativity,, classical spin, dual string model
پدیدآورنده: Sundermeyer, Kurt, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Quantum field theory,، Constraints )Physics(
رده :
QC
3
.
L28
Vol
.
169
52. Continuous model theory
پدیدآورنده: Chang, Chen Chung
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
58
53. Continuous model theory
پدیدآورنده: / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Logic, symbolic and mathematical
رده :
QA9
.
C48
54. Contract theory in continuous-time model
پدیدآورنده: / Jak??a Cvitani??, Jianfeng Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Finance, Mathematical models,Stochastic control theory,Electronic books
رده :
E-BOOK
55. Definable additive categories : purity and model theory
پدیدآورنده: Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
56. Differential operator equations : a method of model operators in the theory of boundary value problems
پدیدآورنده: Dezin, Aleksei Alekseevich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Differential equations, Linear,، Difference operators
رده :
QA
1
.
P736
Vol
.
229
57. Economic Growth in the Regions of Europ Theory and Empirical Evidence from a Spatial Growth Model
پدیدآورنده: Sardadvar, SaschaAuthor., ]electronic resource[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Electronic books,، Europe, Economic Conditions,، Neoclassical School of Economics,، Business & Economics, Economic Conditions,، Business & Economics, Economics, Theory
رده :
HC
240
58. Economic growth in the regions of europe :theory and empirical evidence from a spatial growth model
پدیدآورنده: Sardadvar, Sascha
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Regional planning--Europe.
رده :
HC
103
.
S23
2011
59. Elementary end extensions in model theory and set theory
پدیدآورنده: by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Logic, Symbolic and mathematical,Model theory,Set theory
60. Elements of Finite Model Theory
پدیدآورنده: libkin ,leonid
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
